SPC/TNF-alpha-UT Transgene MGI:5644301 transgene O Tg(SFTPC-Tnf)2Pva http://identifiers.org/mgd/MGI:5644301 transgene insertion 2, Pierre Vassalli